loc{-}ordered(${\it es}$;$L$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$l{-}ordered(es{-}E(${\it es}$);$x$,$y$.es{-}locl(${\it es}$; $x$; $y$);$L$)